Recently, the second author, Briseid, and Safarik introduced nonstandard Dialectica, a functional interpretation capable of eliminating instances of familiar principles of nonstandard arithmetic—including overspill, underspill, and generalizations to higher types—from proofs. We show that the properties of this interpretation are mirrored by first-order logic in a constructive sheaf model of nonstandard arithmetic due to Moerdijk, later developed by Palmgren, and draw some new connections between nonstandard principles and principles that are rejected by strict constructivism. Furthermore, we introduce a variant of (...) the Diller–Nahm interpretation with two different kinds of quantifiers, similar to Hernest’s light Dialectica interpretation, and show that one can obtain nonstandard Dialectica by weakening the computational content of the existential quantifiers—a process called herbrandization. We also define a constructive sheaf model mirroring this new functional interpretation, and show that the process of herbrandization has a clear meaning in terms of these sheaf models. (shrink)

In this thesis, I investigate realist, anti-realist and pluralist views in the philosophy of science and the philosophy of complexity. The philosophy of science can inform the philosophy of complexity and vice versa because we can consider scientific inquiry to largely involve the study of complex systems. I however find that the relevant realist, anti-realist and pluralist views are problematic in various ways, and that a version of pragmatism suggests a promising alternative. This version of pragmatism incorporates elements of pluralism, (...) but maintains a commitment to epistemic hierarchy, convergence and progress. The way to develop such a version of pragmatism is, I argue, by rebooting William Whewell’s 19th century philosophy of science. Whewell however held to the following two transcendental claims: 1. Empirical inquiry undertaken in science properly practiced can reveal necessary truths. 2. The revelation of such necessary truths grants us a glimpse of the mind of God. Such transcendental claims are obviously at odds with pragmatism. There are however core features of Whewell’s view that are notably pragmatist in nature, features that explicitly inspired Charles Sanders Piece’s convergent pragmatism. These are as follows: 3. Subject and object (or mind and world) are inextricably entwined during scientific inquiry; they are not separated by anything like a correspondence relationship. 4. Science progresses via what Whewell calls the consilience of inductions (an ongoing merging of scientific theories, a merging that increases our understanding of the world over time). I modify Whewell’s view by stripping away its transcendental elements while maintaining its pragmatist elements. What remains is, I argue, a robust and novel kind of pragmatism suitable for being introduced into the contemporary philosophy of science. Whewell suitably-pragmatised can offer new insights into ongoing debates, particularly those around the nature of scientific progress, scientific truth and scientific understanding. (shrink)

Dans sa violente charge contre la Révolution française, Edmund Burke avait élevé le débat politique à un niveau philosophique. Son argument le plus profond consistait à reprocher aux révolutionnaires de pécher par apriorisme, en cherchant à déduire, comme des géomètres, une nouvelle constitution à partir des principes abstraits énoncés dans la Déclaration des droits de l’homme. Reprise par les disciples allemands de Burke, cette critique de la méthode adoptée par la Constituante tirait des postulats empiristes des Lumières anglo-écossaises toutes les (...) implications conservatrices que recelaient déjà les textes politiques et historiques de Hume. Or c’est d’emblée sur ce terrain spéculatif que se joue, chez Fichte, la défense du droit de révolution. Reprochant à l’empirisme de réduire l’esprit au « mécanisme aveugle de l’association des idées », passivement déterminé par une extériorité en soi, Fichte entend au contraire fonder l’expérience elle-même sur l’activité d’un « Moi-en-soi », absolument indépendant. Conçu comme causalité libre, pouvant donc s’affranchir des « conjonctions coutumières » humiennes pour commencer une nouvelle série dans l’ordre des phénomènes, l’homme, pour Fichte, n’a pas seulement la « faculté de se perfectionner », mais la loi de sa liberté lui en fait même un devoir. Au regard de cet impératif catégorique de perfectionnement, il n’y a pas de Common Law qui tienne. Aussi Fichte ne recule-t-il pas devant la révolution, si les institutions du passé font obstacle à la destination de l’homme. (shrink)

Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought (1879), by G. Frege.--Some metamathematical results on completeness and consistency; On formally undecidable propositions of Principia mathematica and related systems I; and On completeness and consistency (1930b, 1931, and 1931a), by K. Gödel.--Bibliography (p. [111]-116).

In "Off Track" art and philosophy are the inspiration to look differently at daily life and organizations. The book is a plea to approach the complexity of the current world with new metaphors. The author calls this "hinking around". She sees that in "square worlds" there is a need for tools to approach entrenched patterns and systems differently and to get thought processes moving. Sarai van de Boel challenges the reader to look at one's own systems from the inside with (...) a philosophical approach. In eight chapters there are eight "tracks" to follow, but it is also possible to go off the rails. More than fifty works of art by well-known and lesser-known artists and designers play a role in these traces. The author questions the essence of their works and asks philosophical questions about phenomena they evoke. With Marlene Dumas, Marinus Boezem, L.A. Raeven, Ed Atkins, Wong Ping, Kazumasa Nagai, Remy Jungerman, Otto Piene, Eiko Ishioka, Campana brothers, Ann Demeulemeester and Kara Walker. The book ends with the Art & Philosophy Strategy, a theoretical framework for the use of art and philosophy. (shrink)

A total of 80 authors working in a variety of scientific disciplines commented on the theoretical model of CLimate, Aggression, and Self-control in Humans (CLASH). The commentaries cover a wide range of issues, including the logic and assumptions of CLASH, the evidence in support of CLASH, and other possible causes of aggression and violence (e.g., wealth, income inequality, political circumstances, historic circumstances, pathogen stress). Some commentaries also provide data relevant to CLASH. Here we clarify the logic and assumptions of CLASH (...) and discusses its extensions and boundary conditions. We also offer suggestions for future research. Regardless of whether none, some, or all of CLASH is found to be true, we hope it will stimulate future research on the link between climate and human behavior. Climate is one of the most presing issues of our time. (shrink)

info:eu-repo/semantics/publishedVersion.

In this book, Andreas Serafim sets out to investigate the use of religious discourse, by which he means any reference to religious ideas, beliefs, and attitudes in public speaking contexts in classical Athens. Like Gunther Martin (Divine Talk: Religious Argumentation in Demosthenes, 2009), Serafim examines religion primarily as a tool for persuasion, but he differentiates himself from Martin’s book by offering a more comprehensive study: he aims to take into account all extant speeches from t...

La longue histoire de l’Acropole d’Athènes est une vitrine fascinante de la façon dont un patrimoine ancien peut être transformé, d’un sanctuaire païen à un sanctuaire chrétien, à une forteresse islamique, à l’autel symbolique de la Grèce moderne. De plus, ce site a suscité l’admiration presque religieuse des chercheurs et, comme dans le cas des marbres d’Elgin, a été contesté à de nombreux égards. L’auteur du volume analysé, William St Clair, un spécialiste des marbres d’Elgin et de divers a...

We apply the theory of partial algebras, following the approach developed by Van Alten, to the study of the computational complexity of universal theories of monotonic and normal modal algebras. We show how the theory of partial algebras can be deployed to obtain co-NP and EXPTIME upper bounds for the universal theories of, respectively, monotonic and normal modal algebras. We also obtain the corresponding lower bounds, which means that the universal theory of monotonic modal algebras is co-NP-complete and the universal (...) theory of normal modal algebras is EXPTIME-complete. It also follows that the quasi-equational theory of monotonic modal algebras is co-NP-complete. While the EXPTIME upper bound for the universal theory of normal modal algebras can be obtained in a more straightforward way, as discussed in the paper, due to its close connection to the equational theory of normal modal algebras with the universal modality operator, the technique based on the theory of partial algebras is applicable to the study of universal theories of algebras corresponding to a wide range of logics with intensional operators, where no such connection is available. (shrink)

Decision outcomes sometimes result in negative emotions. This can occur when a decision appears to be wrong in retrospect, and/or when the obtained decision outcome does not live up to expectations. Regret and disappointment are the two emotions that are of central interest in the present article. Although these emotions have a lot in common, they also differ in ways that are relevant to decision making. In this article we review theories and empirical findings concerning regret and disappointment. We first (...) discuss how regret and disappointment differ with respect to their antecedent conditions, appraisals, and phenomenology. We also discuss possible behavioural consequences of experiencing these emotions. Next, we consider how the anticipation of regret and disappointment may influence decision making. We use regret and disappointment theory, developed by the economists Bell (1982, 1985), and Loomes and Sugden (1982, 1986, 1987), as a framework for our discussion. Finally, we argue that combining the theoretical approaches and research paradigms of behavioural decision theory with emotion theories will significantly increase our knowledge of antecedents and consequences of emotions. (shrink)

We study the computational complexity of the universal and quasi-equational theories of classes of bounded distributive lattices with a negation operation, i.e., a unary operation satisfying a subset of the properties of the Boolean negation. The upper bounds are obtained through the use of partial algebras. The lower bounds are either inherited from the equational theory of bounded distributive lattices or obtained through a reduction of a global satisfiability problem for a suitable system of propositional modal logic.

In this paper we report on our experiences with using network analysis to discern and analyse ethical issues in research into, and the development of, a new wastewater treatment technology. Using network analysis, we preliminarily interpreted some of our observations in a Group Decision Room session where we invited important stakeholders to think about the risks of this new technology. We show how a network approach is useful for understanding the observations, and suggests some relevant ethical issues. We argue that (...) a network approach is also useful for ethical analysis of issues in other fields of research and development. The abandoning of the overarching rationality assumption, which is central to network approaches, does not have to lead to ethical relativism. (shrink)

The transits of Venus in 1761 and 1769 appear to mark the starting point of instrumental science in the Dutch East Indies (now Indonesia). This essay examines the conditions that triggered and constituted instrumental and institutional science on Indonesian soil in the late eighteenth century. In 1765 the Reverend J. M. Mohr, whose wife had received a large inheritance, undertook to build a fully equipped private observatory in Batavia (now Jakarta). There he made several major astronomical and meteorological observations. Mohr’s (...) initiative inspired other Europeans living on Java around 1770 to start a scientific movement. Because of the lack of governmental and other support, it was not until 1778 that this offspring of the Dutch‐Indonesian Enlightenment became a reality. The Bataviaasch Genootschap van Kunsten en Wetenschappen tried from the beginning to put into effect the program Mohr had outlined. The members even bought his instruments from his widow, intending to continue his measurements. For a number of reasons, however, this instrumental program was more than the society could support. Around 1790 instrumental science in the former Dutch East Indies came to a standstill, not to be resumed for several decades. (shrink)

The notion of cognitive act is of importance for an epistemology that is apt for constructive type theory, and for epistemology in general. Instead of taking knowledge attributions as the primary use of the verb 'to know' that needs to be given an account of, and understanding a first-person knowledge claim as a special case of knowledge attribution, the account of knowledge that is given here understands first-person knowledge claims as the primary use of the verb 'to know'. This means (...) that a cognitive act is an act that counts as cognitive from a first-person point of view. The method of linguistic phenomenology is used to explain or elucidate our epistemic notions. One of the advantages of the theory is that an answer can be given to some of the problems in modern epistemology, such as the Gettier problem. (shrink)

The aim of this article is to provide a preliminary ethical evaluation of the effect of telesurgery on patient care. In order to accomplish this task we give a broad description of the state of the art in telesurgery and analyse it using Joan Tronto’s articulation of care as a structured process. This structure illuminates the significance of the patient-physician relationship as the buttress for establishing and preserving practices of care in the healthcare context, with the ultimate goal of safeguarding (...) patient dignity. The process of care combined with the moral aim of medicine—to fulfil the good of the patient—provides the ethical foundation for assessing telesurgery. By exploring various telesurgical scenarios we may assess its potential role in augmenting or diminishing patient care within the frame of the patient-physician relationship. The significance of conducting this evaluation lies in the fact that the practice of telesurgery may very shortly become routine and an evaluation has not yet been attempted. (shrink)

ArgumentThis article studies the roles three science-based models play in Dutch policy and decision making processes. Key is the interaction between model construction and environment. Their political and scientific environments form contexts that shape the roles of models in policy decision making. Attention is paid to three aspects of the wider context of the models: a) the history of the construction process; b) the political and scientific environments; and c) the use in policy processes over longer periods of time. Models (...) are more successfully used when they are constructed in astablepolitical and scientific environment. Stability and certainty within a scientific field seems to be a key predictor for the usefulness of models for policy making. The economic model is more disputed than the ecology-based model and the model that has its theoretical foundation in physics and chemistry. The roles models play in policy processes are too complex to be considered as straightforward technocratic powers. (shrink)